Introducing the fair and logical trade project

We introduce our framework for logic-based compositional e-commerce interaction. We aim to provide opensource software which adds a light-weight formal messaging layer to business communications, to increase the accessibility of e-commerce infrastructure to smaller business players. In the process we hope to develop a comprehensive theory of business communication. We present the logical structures and techniques we apply, and provide initial prototype testing results.